Tag: Inductive hypothesis example